41![Letter pubs.acs.org/NanoLett A Fully Integrated Nanosystem of Semiconductor Nanowires for Direct Solar Water Splitting Chong Liu,†,§ Jinyao Tang,† Hao Ming Chen,† Bin Liu,† and Peidong Yang*,†,‡,§ Letter pubs.acs.org/NanoLett A Fully Integrated Nanosystem of Semiconductor Nanowires for Direct Solar Water Splitting Chong Liu,†,§ Jinyao Tang,† Hao Ming Chen,† Bin Liu,† and Peidong Yang*,†,‡,§](https://www.pdfsearch.io/img/46ed4027e27a5f9bf156f26b210e9ca9.jpg) | Add to Reading ListSource URL: www.chemistry.hku.hkLanguage: English - Date: 2015-05-06 04:34:26
|
---|
42![The CDSN Report to the FDSN CDSN: Present Status and Future Development G. W. Zhou, X. L. Liu, L. S. Xu, C. Y. Hao, Z. L. Wu, and Y. T. Chen Institute of Geophysics, China Seismological Bureau, Beijing, China The CDSN Report to the FDSN CDSN: Present Status and Future Development G. W. Zhou, X. L. Liu, L. S. Xu, C. Y. Hao, Z. L. Wu, and Y. T. Chen Institute of Geophysics, China Seismological Bureau, Beijing, China](https://www.pdfsearch.io/img/af4be954c03a7b7d2e899cb9152aba2a.jpg) | Add to Reading ListSource URL: www.fdsn.orgLanguage: English - Date: 2011-07-14 15:55:05
|
---|
43![A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1](https://www.pdfsearch.io/img/b53a77106d02b5fda2276c342d0f780a.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-11-11 20:30:18
|
---|
44![1 In-Memory Big Data Management and Processing: A Survey Hao Zhang, Gang Chen, Member, IEEE, Beng Chin Ooi, Fellow, IEEE, Kian-Lee Tan, Member, IEEE, Meihui Zhang 1 In-Memory Big Data Management and Processing: A Survey Hao Zhang, Gang Chen, Member, IEEE, Beng Chin Ooi, Fellow, IEEE, Kian-Lee Tan, Member, IEEE, Meihui Zhang](https://www.pdfsearch.io/img/ae566963715159d02b73a19abe3508f9.jpg) | Add to Reading ListSource URL: www.comp.nus.edu.sgLanguage: English - Date: 2015-01-16 15:41:38
|
---|
45![A First Look at Firefox OS Security Daniel DeFreez∗ , Bhargava Shastry† , Hao Chen∗ , Jean-Pierre Seifert† ∗ University of California, Davis {dcdefreez, chen}@ucdavis.edu A First Look at Firefox OS Security Daniel DeFreez∗ , Bhargava Shastry† , Hao Chen∗ , Jean-Pierre Seifert† ∗ University of California, Davis {dcdefreez, chen}@ucdavis.edu](https://www.pdfsearch.io/img/660447494b051b0bd056429ae9c2c871.jpg) | Add to Reading ListSource URL: mostconf.orgLanguage: English - Date: 2014-05-17 09:18:10
|
---|
46![Setuid Demystified∗ Hao Chen David Wagner University of California at Berkeley {hchen,daw}@cs.berkeley.edu Setuid Demystified∗ Hao Chen David Wagner University of California at Berkeley {hchen,daw}@cs.berkeley.edu](https://www.pdfsearch.io/img/bf14b242560e9eb0b194d2eca407575a.jpg) | Add to Reading ListSource URL: www.eecs.berkeley.eduLanguage: English - Date: 2015-01-21 19:48:40
|
---|
47![A First Look at Firefox OS Security Daniel DeFreez*, Bhargava Shastry† Hao Chen*, Jean-Pierre Seifert† A First Look at Firefox OS Security Daniel DeFreez*, Bhargava Shastry† Hao Chen*, Jean-Pierre Seifert†](https://www.pdfsearch.io/img/51bf7abc84079914b72e8d79719d57eb.jpg) | Add to Reading ListSource URL: mostconf.orgLanguage: English - Date: 2014-05-20 11:43:11
|
---|
48![extras T HE PLAYER characters will encounter a host of extras T HE PLAYER characters will encounter a host of](https://www.pdfsearch.io/img/16d4770ab14021b6b4312672442fac40.jpg) | Add to Reading ListSource URL: www.firedrake.orgLanguage: English - Date: 2008-06-27 20:10:18
|
---|
49![Submitted to the 2004 IEEE Symposium on Security and Privacy, Oakland, CA 2004 Exploring Static Checking for Software Assurance SRL Technical Report SRL[removed]Hao Chen Submitted to the 2004 IEEE Symposium on Security and Privacy, Oakland, CA 2004 Exploring Static Checking for Software Assurance SRL Technical Report SRL[removed]Hao Chen](https://www.pdfsearch.io/img/56bd69d293f2d845710057c5f1cd4746.jpg) | Add to Reading ListSource URL: srl.cs.jhu.eduLanguage: English - Date: 2007-09-20 09:41:43
|
---|
50![A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1](https://www.pdfsearch.io/img/48ce644f1eb8d8eea311cf559aad6661.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-11-11 20:30:18
|
---|